MPTP 0.1 - System Description

Team Description: UW Huskies-01

This paper provides an overview of the robot control system of the UW Huskies, our entry in the RoboCup-2001 Sony AIBO legged robot league. Our development team consisted of one faculty member (D. Fox, team leader), one technical support staff (R. Pitkanen), one undergraduate student (J.K. Burns), and six graduate students. Since this was our first participation in RoboCup, we relied on the imp...

System Description: Mscott System Description: Mscott

MScott (Multi-SCOTT) is a general purpose rst order theorem prover based on McCune's Otter and having the same functionality as Otter. Like its predecessor Scott, it uses a model generator to nd small models of subsets of the clauses generated during proof search. MScott diiers from Scott in that it generates and uses several models simultaneously. This not only improves its coverage of the use...

FaCT++ Description Logic Reasoner: System Description

This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly d...

Description for ETAPS ' 01 / TACAS : The EVT Erlang Veri cation

Físchlár @ Trec2003: System Description

In this paper we give an outline of the Físchlár system developed to enable participation in the interactive searching task within TRECVID 2003. TRECVID is an annual benchmarking exercise which measures the effectiveness of various video information retrieval tasks, including interactive retrieval. The accompanying video provides a usage scenario for our TRECVID2003 system which contains a seri...